//
// Created by ✎﹏ℳ๓独赏 ☆独醉 on 2023/3/13.
//
#include <stdio.h>
int main(){
    //字符过滤
    int ch = 0;
    while((ch = getchar()) != EOF){
        if(ch < '0' || ch > '9'){
            continue;
        }
        putchar(ch);
    }
    return 0;
}